- обратное утверждение
-
обратное утверждение
обратная импликация
инверсия
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
- информационные технологии в целом
Синонимы
- обратная импликация
- инверсия
EN
- converse
Справочник технического переводчика. – Интент. 2009-2013.
Смотреть что такое "обратное утверждение" в других словарях:
Планарный граф — Планарный граф граф, который может быть изображен на плоскости без пересечения ребер. Более строго: Граф укладывается на некоторой поверхности, если его можно на ней нарисовать без пересечения ребер. Уложенный граф называется геометрическим … Википедия
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Малая теорема Ферма — Малая теорема Ферма классическая теорема теории чисел, которая утверждает, что Если p простое число, и не делится на , то … Википедия
Центральное многообразие — особой точки автономного обыкновенного дифференциального уравнения инвариантное многообразие в фазовом пространстве, проходящее через особую точку и касающееся инвариантного центрального подпространства линеаризации дифференциального уравнения.… … Википедия
ВЛОЖЕНИЯ ТЕОРЕМЫ — теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и , где есть часть и при этом выполняется… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Булеан — Пусть множество. Множество всех подмножеств множества называется булеаном (также степенью множества (англ. power set), показательным множеством или множеством частей) и обозначается . Также оно обозначается , так как оно соответствует … Википедия
Сила — Запрос «сила» перенаправляется сюда; см. также другие значения. Сила Размерность LMT−2 Единицы измерения СИ ньютон … Википедия
Модуль непрерывности — Для любой функции , определённой на множестве , можно ввести понятие модуля непрерывности этой функции, обозначаемого . Модуль непрерывности тоже функция, по определению равная или верхней грани колебания функции по всем подотрезкам из дли … Википедия